complete normality axiom

完全正规性公理